function symbol ofの例文

• Formally this would define the function symbols of the signature as something like " f " 0 ( nullary ), " f " 1 ( unary ) and " f " 2 ( binary ), but in reality the usual names are used even in connection with this convention.